верификация (доказательство правильности)

верификация (доказательство правильности)

 

верификация (доказательство правильности)
контроль
проверка
 —
[Е.С.Алексеев, А.А.Мячев. Англо-русский толковый словарь по системотехнике ЭВМ. Москва 1993]

Тематики

  • информационные технологии в целом

Синонимы

  • контроль
  • проверка

EN

  • verification


Справочник технического переводчика. – Интент. 2009-2013.

Игры ⚽ Нужно решить контрольную?

Смотреть что такое "верификация (доказательство правильности)" в других словарях:

  • верификация (доказательство правильности) программы — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN program verification …   Справочник технического переводчика

  • Верификация — Позитивизм …   Википедия

  • частная верификация — Доказательство правильности программ, учитывающее основные, но не все возможные факторы. [Домарев В.В. Безопасность информационных технологий. Системный подход.] Тематики защита информации EN partial verification …   Справочник технического переводчика

  • Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… …   Википедия

  • Верифицируемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus  истинный, facere  делать)  это подтверждение соответствия конечного продукта предопределённым эталонным… …   Википедия

  • Доказуемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus  истинный, facere  делать)  это подтверждение соответствия конечного продукта предопределённым эталонным… …   Википедия

  • Проверяемость — В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например: Верификация (от лат. verus  истинный, facere  делать)  это подтверждение соответствия конечного продукта предопределённым эталонным… …   Википедия

  • Тестирование программного обеспечения — Разработка программного обеспечения Процесс разработки ПО Шаги процесса Анализ • Проектирование • Программирование • Докумен …   Википедия

  • оценка — 3.9 оценка (evaluation): Систематическое определение степени соответствия объекта установленным критериям. Источник: ГОСТ Р ИСО/МЭК 12207 99: Информационная технология. Процессы жизненного цикла программных средств …   Словарь-справочник терминов нормативно-технической документации

  • ГИПОТЕЗА — (от греч. hipothesis основание, предположение) положение, выдвигаемое в качестве предварительного, условного объяснения некоторого явления или группы явлений; предположение о существовании некоторого явления. Г. может касаться существования… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»